💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Algebraic Types are not Scary
blog.aiono.dev·2h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·12h·
Discuss: DEV
✨Effect Handlers
Balance between refactoring and inheritance in your code
github.com·1h·
Discuss: Hacker News
✅Format Verification
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🛠Language Design
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·4h
🔗Topological Sorting
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·15h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·31m·
Discuss: Hacker News
🔗Lisp
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·8h·
Discuss: Hacker News
🌐Protocol Synthesis
SciML Agents: Write the Solver, Not the Solution
arxiv.org·9h
🧮SMT Solvers
Custom for designing, off-the-shelf for shipping
ntietz.com·13h
🔗Topological Sorting
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·17h·
Discuss: Hacker News
💻Programming languages
Introducing the Constexpr Debugger
blog.jetbrains.com·5h·
Discuss: Hacker News, r/cpp
🦀Rust Macros
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🔤Type Theory
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
⚖️Verification Calculi
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·2h·
Discuss: Hacker News
🌳Archive Merkle Trees
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🔤Type Theory
ISO C++ committee has a new chief sheep herder
shape-of-code.com·14h
📜Proof Carrying Code
Back from Open Source Summit Europe 2025: talks from Bootlin
bootlin.com·3h
⚙️Operating System Design
A Kevin week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
It actually is a snap?
lambdacreate.com·1d
❄️Nix Flakes